51 research outputs found
Isomorph-free generation of 2-connected graphs with applications
Many interesting graph families contain only 2-connected graphs, which have
ear decompositions. We develop a technique to generate families of unlabeled
2-connected graphs using ear augmentations and apply this technique to two
problems. In the first application, we search for uniquely K_r-saturated graphs
and find the list of uniquely K_4-saturated graphs on at most 12 vertices,
supporting current conjectures for this problem. In the second application, we
verifying the Edge Reconstruction Conjecture for all 2-connected graphs on at
most 12 vertices. This technique can be easily extended to more problems
concerning 2-connected graphs.Comment: 15 pages, 3 figures, 4 table
Automorphism Groups and Adversarial Vertex Deletions
Any finite group can be encoded as the automorphism group of an unlabeled
simple graph. Recently Hartke, Kolb, Nishikawa, and Stolee (2010) demonstrated
a construction that allows any ordered pair of finite groups to be represented
as the automorphism group of a graph and a vertex-deleted subgraph. In this
note, we describe a generalized scenario as a game between a player and an
adversary: An adversary provides a list of finite groups and a number of
rounds. The player constructs a graph with automorphism group isomorphic to the
first group. In the following rounds, the adversary selects a group and the
player deletes a vertex such that the automorphism group of the corresponding
vertex-deleted subgraph is isomorphic to the selected group. We provide a
construction that allows the player to appropriately respond to any sequence of
challenges from the adversary.Comment: 5 page
Automated Discharging Arguments for Density Problems in Grids
Discharging arguments demonstrate a connection between local structure and
global averages. This makes it an effective tool for proving lower bounds on
the density of special sets in infinite grids. However, the minimum density of
an identifying code in the hexagonal grid remains open, with an upper bound of
and a lower bound of . We present a new, experimental framework for producing discharging
arguments using an algorithm. This algorithm replaces the lengthy case analysis
of human-written discharging arguments with a linear program that produces the
best possible lower bound using the specified set of discharging rules. We use
this framework to present a lower bound of on
the density of an identifying code in the hexagonal grid, and also find several
sharp lower bounds for variations on identifying codes in the hexagonal,
square, and triangular grids.Comment: This is an extended abstract, with 10 pages, 2 appendices, 5 tables,
and 2 figure
Ramsey numbers for partially-ordered sets
We present a refinement of Ramsey numbers by considering graphs with a
partial ordering on their vertices. This is a natural extension of the ordered
Ramsey numbers. We formalize situations in which we can use arbitrary families
of partially-ordered sets to form host graphs for Ramsey problems. We explore
connections to well studied Tur\'an-type problems in partially-ordered sets,
particularly those in the Boolean lattice. We find a strong difference between
Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the
partial ordering on the graphs have large antichains.Comment: 18 pages, 3 figures, 1 tabl
Ordered Ramsey numbers of loose paths and matchings
For a -uniform hypergraph with vertex set , the
ordered Ramsey number is the least integer such
that every -coloring of the edges of the complete -uniform graph on
vertex set contains a monochromatic copy of whose vertices
follow the prescribed order. Due to this added order restriction, the ordered
Ramsey numbers can be much larger than the usual graph Ramsey numbers. We
determine that the ordered Ramsey numbers of loose paths under a monotone order
grows as a tower of height one less than the maximum degree. We also extend
theorems of Conlon, Fox, Lee, and Sudakov [Ordered Ramsey numbers,
arXiv:1410.5292] on the ordered Ramsey numbers of 2-uniform matchings to
provide upper bounds on the ordered Ramsey number of -uniform matchings
under certain orderings.Comment: 13 page
- …